A new model for Context-Oriented Programs
نویسندگان
چکیده
Context-oriented programming (COP) is a new technique for programming that allows changing the context in which commands execute as a program executes. Compared to object-oriented programming (aspectoriented programming), COP is more flexible (modular and structured). This paper presents a precise syntaxdirected operational semantics for context-oriented programming with layers, as realized by COP languages like ContextJ* and ContextL. Our language model is built on Java enriched with layer concepts and activation and deactivation of layer scopes. The paper also presents a static type system that guarantees that typed programs do not get stuck. Using the means of the proposed semantics, the mathematical correctness of the type system is presented in the paper. [El-Zawawy MA, Aleisa EA. A new model for Context-Oriented Programs. Life Sci J 2013; 10(2): 2515-2523]. (ISSN: 1097-8135). http://www.lifesciencesite.com. 349
منابع مشابه
Context-Based Integrative Educational Technique in Profession-Oriented Foreign Language Teaching (Academic Model United Nations)
The aim of the article is to examine the Academic Model United Nations (Model UN) as a context-based integrative educational technique in profession-oriented foreign language teaching (FLT); to point out the context-based integrative nature of profession-oriented language learning and highlight the importance of using product-based educational techniques in FLT for developing students’ future p...
متن کاملDeveloping a New Algorithm for a Utility-based Network Design Problem with Elastic Demand
Developing the infrastructures for preventing non-communicable diseases is one of the most important goals of healthcare context in recent years. In this regard, the number and capacity of preventive healthcare facilities as well as assignment of customers to facilities should be determined for each region. Besides the accessibility, the utility of customers is a determinative factor in partici...
متن کاملPredicting the Effects of New Sanctions and Evaluating Fiscal Policies in the Context of a Macroeconomic Model with Mixed-Frequency Data Sampling for the Iranian Economy Under Sanctions
In the Iranian economy, which has experienced various sanctions, it was necessary to anticipate macroeconomic variables when imposing new sanctions. On the other hand, in the context of sanctions, it is possible to make a more accurate assessment of economic policies in order to be able to respond in a timely manner to these shocks and the need for appropriate planning and security against them...
متن کاملComparing Kirkpatrick’s original and new model with CIPP evaluation model
In a young field like educational programevaluation, it is inevitable that conceptualframeworks such as Kirkpatrick model arerevised with time and with greater knowledge.The New World Kirkpatrick Model (NWKM)is the new version of Kirkpatrick model whichis more welcome to context and process, andhence probably much closer to the context–input–process–product (CIPP) model (1). The aimof this pape...
متن کاملO15: The Use of New Technologies in Justice Oriented Talent Identification
Humans are born with potential abilities which may emerge due to certain circumstances. In educational environments, needs, interests and capacities of individuals are wide and varied. Therefore, developers and educators of training programs must provide special facilities to identify talented people in the way that justice is observed for all people. Meanwhile, there is no doubt that technolog...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1402.5647 شماره
صفحات -
تاریخ انتشار 2013